#include "kernel.h"
#include "process.h"
#include "mutex.h"

void os_mutex_init(struct mutex *lock, char *name)
{
    lock->locked = 0;
    lock->name = name;
}

void os_mutex_lock(struct mutex *lock)
{
    // int_disable();
}

void os_mutex_unlock(struct mutex *lock)
{
    // int_disable();
}